function getId(id)
{
	return document.getElementById(id);
}

window.addEventListener("load",function(){
	getId("crafteos").addEventListener("click",function(){
		window.location.href="html/crafteos.html";
	});
});
